Ident. | Authors (with country if any) | Title |
---|
001415 |
Georgios M. Kontogeorgis [Danemark] ; Jean-Noel Jaubert [France] ; Jean-Charles De Hemptinne [France] | Éditorial |
001468 |
Weishan Zhang [République populaire de Chine] ; Klaus Marius Hansen [Danemark] ; Paolo Bellavista [Italie] | The 1st International Workshop on Self-Managing Pervasive Service Systems (SeMaPS 2012) |
001631 |
Mikkel Birkegaard Andersen [Danemark] ; Thomas Bolander [Danemark] ; Hans Van Ditmarsch [France] ; Martin Holm Jensen [Danemark] | Bisimulation for Single-Agent Plausibility Models |
001659 |
Weishan Zhang [République populaire de Chine] ; Klaus Marius Hansen [Danemark] ; Paolo Bellavista [Italie] | A Research Roadmap for Context-Awareness-Based Self-managed Systems |
001F71 |
Mohamed Ahmed Abdelraheem [Danemark] ; Céline Blondeau [France] ; Maria Naya-Plasencia [Suisse] ; Marion Videau [France] ; Erik Zenner [Allemagne] | Cryptanalysis of ARMADILLO2 |
002376 |
Liana Razmerita [Danemark] ; Armelle Brun [France] | Collaborative Learning in Heterogeneous Classes: Towards a Group Formation Methodology |
002621 |
Roberto Carbone [Italie] ; Marius Minea [Roumanie] ; Sebastian Alexander Mödersheim [Danemark] ; Serena Elisa Ponta [France, Italie] ; Mathieu Turuani [France] ; Luca Vigan [Italie] | Towards Formal Validation of Trust and Security in the Internet of Services |
002647 |
Carsten Fuhs [Allemagne] ; Jürgen Giesl [Allemagne] ; Michael Parting [Allemagne] ; Peter Schneider-Kamp [Danemark] ; Stephan Swiderski [Allemagne] | Proving Termination by Dependency Pairs and Inductive Theorem Proving |
002681 |
Catherine Eng [France] ; Annabelle Thibessard [France] ; Morten Danielsen [Danemark] ; Thomas Bovbjerg Rasmussen [Danemark] ; Jean-François Mari [France] ; Pierre Leblond [France] | In silico prediction of horizontal gene transfer in Streptococcus thermophilus |
002724 |
Mohamed Ahmed Abdelraheem [Danemark] ; Céline Blondeau [France] ; María Naya-Plasencia [Suisse, France] ; Marion Videau [France] ; Erik Zenner [Allemagne] | Cryptanalysis of ARMADILLO2 |
002925 |
Liana Razmerita [Danemark] ; Armelle Brun [France] | Assigning Students in Groups: Self-formed Groups versus Automatically-formed Groups |
002E80 |
Jinsan Cheng [République populaire de Chine] ; Sylvain Lazard [France] ; Luis Pe Aranda [France] ; Marc Pouget [France] ; Fabrice Rouillier [France] ; Elias P. Tsigaridas [Danemark] | On the topology of real algebraic plane curves |
003030 |
Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche] | SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs |
003104 |
Armelle Brun [France] ; Anne Boyer [France] ; Liana Razmerita [Danemark] | Compass to Locate the User Model I Need: Building the Bridge between Researchers and Practitioners in User Modeling |
003108 |
John Fitzgerald [Royaume-Uni] ; Peter Gorm Larsen [Danemark] ; Ken Pierce [Royaume-Uni] ; Marcel Verhoef [Pays-Bas] ; Sune Wolff [Danemark] | Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems |
003887 |
Jakob Grue Simonsen [Danemark] | The $\Pi^0_2$-Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) |
003944 |
Eric Jul [Danemark] ; Ian Rogers [Royaume-Uni] | Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems |
003975 |
Hanne Gottliebsen [Danemark] ; Kristoffer H. Rose | Converting between Combinatory Reduction Systems and Big Step Semantics |
004172 |
Olivier Zendra [France] ; Eric Jul [Danemark] ; Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Richard Jones [Royaume-Uni] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] | International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07 |
004375 |
Olivier Zendra [France] ; Eric Jul [Danemark] ; Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Richard Jones [Royaume-Uni] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] | Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems |
004385 |
Dines Bj Rner [France, Danemark] | From Domain to Requirements |
006238 |
Ph. Lahire [France] ; G. Arévalo [Suisse] ; H. Astudillo [Chili] ; A. P. Black [États-Unis] ; E. Ernst [Danemark] ; M. Huchard [France] ; T. Opluštil [France] ; M. Sakkinen [Finlande] ; P. Valtchev [Canada] | MASPEGHI 2004 M ech a nisms for Spe ialization, G eneralization and In h er i tance |
006658 |
Susanne Salmon-Alt [France] ; Eckhard Bick [Danemark] ; Laurent Romary [France] ; Jean-Marie Pierrel [France] | La FReeBank : vers une base libre de corpus annotés |
007A62 |
Giovanni Semeraro [Italie] ; Hans H. K. Andersen [Danemark] ; Verner Andersen [Danemark] ; Pasquale Lops [Italie] ; Fabio Abbattista [Italie] | Evaluation and Validation of a Conversational Agent Embodied in a Bookstore |
007A63 |
Kasper Hornb K [Danemark] ; Erik Fr Kj R [Danemark] | Evaluating User Interfaces with Metaphors of Human Thinking |
007A94 |
Anders Sewerin Johansen [États-Unis, Danemark] ; John Paulin Hansen [États-Unis, Danemark] | Augmentative and Alternative Communication: The Future of Text on the Move |
008765 |
Peter D. Mosses [Danemark] | Pragmatics of Modular SOS |
008809 |
Luca Aceto [Danemark] ; Zoltán Ésik [Hongrie] ; Anna Ing Lfsd Ttir [Danemark] | Equational Axioms for Probabilistic Bisimilarity |
008923 |
Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
009371 |
J Rgen Villadsen [Danemark] | Combinators for Paraconsistent Attitudes |
00B352 |
Roberto Segala [Italie] ; Rainer Gawlick ; J Rgen S Gaard-Andersen [Danemark] ; Nancy Lynch | Liveness in Timed and Untimed Systems |
00B397 |
Hélène Kirchner [France] ; Peter D. Mosses [États-Unis, Danemark] | Algebraic Specifications, Higher-Order Types and Set-Theoretic Models |
00BB40 |
Peter Sestoft [Danemark] | Deriving a lazy abstract machine |
00BD16 |
R. J. Jarvella [Danemark] ; L. Lundquist [Danemark] | The language of genesis : A psycholinguistic approach to evolving referents |
00BF28 |
Gregory Kucherov [France] ; Pierre Lescanne [France] ; Peter Mosses [Danemark] | Valentin Antimirov (1961–1995) |
00C033 |
Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark] | R n - and G n -logics |
00C054 |
Zine-El-Abidine Benaissa [France] ; Pierre Lescanne [France] ; Kristoffer H. Rose [Danemark] | Modeling sharing and recursion for weak reduction strategies using explicit substitution |
00C081 |
Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark] | Combining algebraic and set-theoretic specifications |
00C136 |
G. Kucherov [France] ; Pierre Lescanne [France] ; P. Mosses [Danemark] | Valentin Antimirov (1961-1995) |
00C614 |
Valentin M. Antimirov [France] ; Peter D. Mosses [Danemark] | Rewriting extended regular expressions |
00C623 |
Henrik Hasle [Danemark] ; Bendt Brock Jacobsen [Danemark] | Origin of male mediastinal germ-cell tumours |
00CC81 |
Flemming M. Damm [Danemark] | Subtyping with union types, intersection types and recursive types |
00D164 |
Peter D. Mosses [Danemark] | The use of sorts in algebraic specifications |
00DE28 |
Jesper Lützen [Danemark] | Old Age (1862–1882) |
00E596 |
Knud Lb Christensen [Danemark] | Taxonomic revision of the Pinus mugo complex and P. rhaetica (P. mugo sylvestris) (Pinaceae) |
00F026 |
Lis Danielsen [Danemark] ; Takasi Kobayasi [Danemark] | INTERNAL ELASTIC LAMINA OF GASTRIC ARTERIES IN PSEUDOXANTHOMA ELASTICUM |